Search Result for "pure lambda-calculus":


The Free On-line Dictionary of Computing (30 December 2018):

pure lambda-calculus

   Lambda-calculus with no constants, only functions expressed
   as lambda abstractions.

   (1994-10-27)